<html>
<body>
Changes the name of a file to the name of the top-level class.
</body>
</html>